Intention and Rationality for PRS-Like Agents
نویسنده
چکیده
In this paper, we elaborate on our earlier work on modelling the mental states of PRS-like agents by considering the logical properties of intentions and various rationality postulates for PRS-like agents that are a consequence of this modelling, in particular Bratman’s asymmetry thesis, the side effect problem for intentions and Rao and Georgeff’s nontransference principles. We show that PRS-like agents do enjoy many of the accepted logical properties of intention and rationality postulates as automatic consequences of our approach, though, as we have argued before, PRS-like agents do not have intentions in the sense required by Bratman’s theory.
منابع مشابه
An Analysis of Three Puzzles in the Logic of Intention
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concreteness of the connection between an agent’s mental states and formal models, using three “puzzles” in the logic of intention to motivate our extended approach. We show how the theory can be used to represent solutions to ...
متن کاملA Formal Specification of dMARS
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control. The theory of PRS-like systems has also been widely studied: within the intelligent agents research community, the beliefdesire-i...
متن کاملModel Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constraint on our theory is that belief update is modelled within the theory of action as part of the logic ADL, a logic of belief, desire and intention that incorporates propositional dynamic logic. Some logical properties...
متن کاملModelling PRS-Like Agents' Mental States
In recent years, there have been increased efforts towards defining rigorous operational semantics for a range of agent programming languages. At the same time, there have been increased efforts to develop logical frameworks for modelling belief, desire and intention (and related notions) that make closer connections to the workings of particular architectures, thus aiming to provide some compu...
متن کاملAn Ontology Driven, Procedural Reasoning System-Like Agent Model, For Multi-Agent Based Mobile Workforce Brokering Systems
Problem statement: It has been proven that Believe, Desire, Intention (BDI) agent architecture, performs suitably in dynamic and unpredictable environments. Although BDI architecture has been formulated rigorously, implementing BDI architecture is not as straightforward as it has been promised. Nevertheless, the preeminent implementation of BDI architecture is Procedural Reasoning System (PRS) ...
متن کامل